Paolo Felli
felli@dis.uniroma1.it
Contact and personal infos:
Research Area:
Automated synthesis, Model-checking
Interests:
- Phone: +39 06 77274 107
- Email: felli@dis.uniroma1.it
- Personal site: http://www.dis.uniroma1.it/~felli/
Research Area:
Automated synthesis, Model-checking
Interests:
| Participation to PhD school | |||||
| Description | External site | Year | |||
| 23th European Summer School in Logic, Language and Information (ESSLLI). SLO. | 2011 | ||||
| 22th European Summer School in Logic, Language and Information (ESSLLI). DK. | 2010 | ||||
| Participation to national and international research projects | |||||
| Description | External site | Year | |||
| Artifact-Centric Service Interoperation | Link | 2010, 2011 | |||
| Participation to conferences/workshops | |||||
| Description | External site | Year | |||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR-10). CA | 2010 | ||||
| The 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-10). CA. | 2010 | ||||
| 20th International Conference on Automated Planning and Scheduling (ICAPS-10). CA. | 2010 | ||||
| 9th International Conference on Business Process Management (BPM-11). FR. | 2011 | ||||
| Long stay visiting research periods | |||||
| Description | External site | Year | |||
| Imperial College London. Aug-Sep 2010. | 2010 | ||||
| Title | Autor(s) | Published in | Year | |
|---|---|---|---|---|
| 1 | Synthesizing agent protocols from LTL specifications against multiple partially-observable environments. | Giuseppe De Giacomo, Paolo Felli, Alessio Lomuscio | KR-12: 13th International Conference on Principles of Knowledge Representation and Reasoning. | 2012 |
| 2 | Foundation of Relational Database Verification | B. Bagheri Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, P. Felli | BPM-11: Proc. of 9th International Conf. on Business Process Management | 2011 |
| 3 | Agent composition synthesis based on ATL | Giuseppe De Giacomo, Paolo Felli | AAMAS-10: Proc. of the 9th International Conference on Autonomous Agents and Multiagent Systems | 2010 |
| 4 | Two-player game structures for generalized planning and agent composition. | Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, and Sebastian Sardina | AAAI-10: Proc. of the Twenty- Fourth AAAI Conference on Artificial Intelligence. | 2010 |
Latest News
Random Student
Roberto Palmieri
Distributed Computing, Transactional Systems, Dependability, Modeling and Performance Evaluation
Full profile
Distributed Computing, Transactional Systems, Dependability, Modeling and Performance Evaluation
Full profile
Click here to submit a candidature to becom PhD student.
